Proof, Message and Certificate
نویسنده
چکیده
The recent achievements obtained by means of Interactive Theorem Provers in the automatic verification of complex mathematical results have reopened an old and interesting debate about the essence and purpose of proofs, emphasizing the dichotomy between message and certificate. We claim that it is important to prevent the divorce between these two epistemological functions, discussing the implications for the field of mathematical knowledge management.
منابع مشابه
Communicating and trusting proofs: The case for foundational proof certificates
It is well recognized that proofs serve two different goals. On one hand, they can serve the didactic purpose of explaining why a theorem holds: that is, a proof has a message that is meant to describe the “why” behind a theorem. On the other hand, proofs can serve as certificates of validity. In this case, once a certificate is checked for its syntactic correctness, one can then trust that the...
متن کاملAn Enhanced Community-based Reputation System for Vehicular Ad Hoc Networks
Reliable traffic message communication is one of the most essential goals for implementing secure vehicular ad hoc networking environment. In order to support secure traffic message communications, we propose an improved vehicular reputation system that manages the reputations of vehicles and verifies the reliability of traffic messages based on the vehicle reputation. We enhance our previously...
متن کاملA new security proof for FMNV continuous non-malleable encoding scheme
A non-malleable code is a variant of an encoding scheme which is resilient to tampering attacks. The main idea behind non-malleable coding is that the adversary should not be able to obtain any valuable information about the message. Non-malleable codes are used in tamper-resilient cryptography and protecting memories against tampering attacks. Many different types of non-malleability have alre...
متن کاملexpires in six months Jeff Weinstein
This document defines a Certificate Management protocol using CMS (CMC). This protocol addresses two immediate needs within the Internet PKI community: 1. The need for an interface to public key certification products and services based on [CMS] and [PKCS10], and 2. The need in [SMIMEV3] for a certificate enrollment protocol for DSAsigned certificates with Diffie-Hellman public keys. A small nu...
متن کاملMessage Quality for Pervasive System Security
Security is a challenge in pervasive systems for several reasons. First, the large number of peers challenges the use of centralised security services like certificate authorities and reputation services. Second, a principal may be a physical object whose identity might not convey useful information for taking security decisions. Establishing a trusted channel depends more on a principal being ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012